Unifying Temporal Data

نویسندگان

  • Christian S. Jensen
  • Michael D. Soo
  • Richard T. Snodgrass
چکیده

To add time support to the relational model, both rst normal form (1NF) and non-1NF data models have been proposed. Each has associated advantages and disadvantages. For example , remaining within 1NF when time support is added may introduce data redundancy. On the other hand, well-established storage organization and query evaluation techniques require atomic attribute values, and are thus intended for 1NF models; utilizing a non-1NF model may degrade performance. This paper describes a new temporal data model designed with the single purpose of capturing the time-dependent semantics of data. Here, tuples of bitemporal relations are stamped with sets of two-dimensional chronons in transaction-time/valid-time space. We use the notion of snapshot equivalence to map temporal relation instances and temporal operators of one existing model to equivalent instances and operators of another. We examine ve previously proposed schemes for representing bitemporal data: two are tuple-timestamped 1NF representations , one is a backlog relation composed of 1NF timestamped change requests, and two are non-1NF attribute value-timestamped representations. The mappings between these models are possible using mappings to and from the new conceptual model. The framework of well-behaved mappings between models, with the new conceptual model at the center, illustrates how it is possible to use diierent models for display and storage purposes in a temporal database system. Some models provide rich structure and are useful for display of temporal data, while other models provide regular structure useful for storing temporal data. The equivalence mappings eeectively move the distinction between the investigated data models from a semantic basis to a display-related or a physical, performance-relevant basis, thereby allowing the exploitation of diierent data models by using each for the task(s) for which they are best suited.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

GeT Move: An Efficient and Unifying Spatio-Temporal Pattern Mining System for Moving Objects

Recent improvements in positioning technology has led to a much wider availability of massive moving object data. A crucial task is to find the moving objects that travel together. Usually, these object sets are called spatio-temporal patterns. Analyzing such data has been applied in many real world applications, e.g., in ecological study, vehicle control, mobile communication management, etc. ...

متن کامل

GeT_Move: An Efficient and Unifying Spatio-temporal Pattern Mining Algorithm for Moving Objects

Recent improvements in positioning technology has led to a much wider availability of massive moving object data. A crucial task is to find the moving objects that travel together. Usually, these object sets are called spatio-temporal patterns. Due to the emergence of many different kinds of spatio-temporal patterns in recent years, different approaches have been proposed to extract them. Howev...

متن کامل

KORRIGAN: a Formal ADL with Full Data Types and a Temporal Glue

The KORRIGAN formalism is devoted to the structured formal specification of mixed systems through a model based on a hierarchy of views. In our unifying approach, views are used to describe the different aspects of components (data, behaviours, architecture, communication). While our model is primarily devoted to mixed structured specifications it is a true Architectural Description Language (A...

متن کامل

Archive TOULOUSE Archive Ouverte ( OATAO )

We present a new logic called Ockhamist Propositional Dynamic Logic, OPDL, which provides a natural link between PDL and CTL ∗ . We show that both PDL and CTL ∗ can be polynomially embedded into OPDL in a rather simple and direct way. More generally, the semantics on which OPDL is based provides a unifying framework for making the dynamic logic family and the temporal logic family converge in a...

متن کامل

On Unifying Time and Uncertainty : The Probabilistic Temporal Network

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . viii

متن کامل

Towards unifying semantic constraints and security constraints in distributed information systems

Modern information systems must respect certain restrictions in order to guarantee the proper and desired functionality. Semantic constraints help to prevent inconsistencies in the stored data resulting from faulty updates. Security constraints are to maintain integrity, secrecy and availability over updates and over queries. In this paper we design an unifying framework for both kinds of const...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007